Ω 論理
Ω-logic
Ω-論理 - Wikipedia
Ω-logic - Wikipedia
W. Hugh Woodin "The continuum hypothesis. I” 2001/6
依岡輝幸「強制公理とΩ-論理」2009
Paul B. LARSON “Three days of Omega-logic” 2011/5
ZFC 集合論
の論理として考へると、
連續體假說
の否定を豫想する